translation
Class FOLTranslator
java.lang.Object
translation.FOLTranslator
public class FOLTranslator
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FOLTranslator
public FOLTranslator()
translate
public static java.lang.String translate(TBox t)
valueDisjointness
private static java.lang.String valueDisjointness(TBox t)
conceptDisjointness
private static java.lang.String conceptDisjointness(TBox t)
translateInclusionAssertion
private static java.lang.String translateInclusionAssertion(TBox t,
InclusionAssertion ass)
translateConceptAttributeInclusionAssertion
private static java.lang.String translateConceptAttributeInclusionAssertion(InclusionAssertion ass)
translateRoleAttributeInclusionAssertion
private static java.lang.String translateRoleAttributeInclusionAssertion(InclusionAssertion ass)
translateRoleInclusionAssertion
private static java.lang.String translateRoleInclusionAssertion(InclusionAssertion ass)
translateFunctionalityAssertion
private static java.lang.String translateFunctionalityAssertion(FunctionalityAssertion ass)
translateIdentificationAssertion
private static java.lang.String translateIdentificationAssertion(IdentificationAssertion ass)
translateConceptInclusionAssertion
private static java.lang.String translateConceptInclusionAssertion(TBox t,
InclusionAssertion ass)
translateValueDomainInclusionAssertion
private static java.lang.String translateValueDomainInclusionAssertion(InclusionAssertion ass)